181. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
182. Chapter zero : fundamental notions of abstract mathematics
Author: Schumacher, Carol
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Problem solving
Classification :
QA
9
.
S376
1996
183. Closure Spaces and Logic
Author: by Norman M. Martin, Stephen Pollard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
184. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
185. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
186. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
187. Combinatorics, complexity, and logic: proceedings of DMTCS'96
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
164
.
D62
1997
188. Combinatorics, complexity, & logic : proceedings of DMTCS'96
Author: D.S. Bridges...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
164
.
D6
1996
189. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
190. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
191. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
Author: C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
164
.
D6
2001
192. Combinatory logic
Author: [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
Classification :
QA9
.
5
.
C87
193. Combinatory logic
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
36
.
C8
194. Commonsense Reasoning
Author: \ Erik T. Mueller, IBM Watson Group and IBM Research.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
Classification :
E-Book
,
195. Commonsense reasoning /
Author: Erik T. Mueller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
Classification :
Q338
.
85
.
M84
2006eb
196. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
197. Computability and logic
Author: Cohen, Daniel E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
C64
1987
198. Computability and logic /
Author: Daniel E. Cohen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
C64
1987
199. Computability, complexity, logic
Author: Borger, Egon, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
200. Computability, complexity, logic
Author: Borger, E.)Egon(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B6713
1989
